真值表法
To support the truth table method, the properties of the minimal form are cited. Besides, it proves the theorem of the main disjunctive normal form of seeking G with the definition of formula equality.
用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求G的主析取范式的定理。
英语网 · 双语娱乐资讯
英语网 · 中考英语
英语网 · 双语新闻